package cn.edu.sjtu.process_management.repository;

import cn.edu.sjtu.process_management.model.OperatorSet;
import org.springframework.data.mongodb.repository.MongoRepository;

import java.util.List;
import java.util.Optional;

public interface OperatorSetRepository extends MongoRepository<OperatorSet, String> {

    Optional<OperatorSet> findOperatorSetByUserId(String userId);

    List<OperatorSet> findByInstanceIdList(String instanceIdList);

    List<OperatorSet> findOperatorSetByInstanceIdListContains(String instanceId);
}
